Estimates and solvability

Convergence Estimates and Approximation Solvability of Nonlinear Implicit Variational Inequalities

Approximation-solvability of a class of nonlinear implicit variational inequalities involving a class of partially relaxed monotone mappings a computation-oriented class in a Hilbert space settingis presented with some applications. Partially Strongly Monotone Mapping, Partially Relaxed Mono

Solvability of a class of mixed type second order equations and nonlocal estimates

In this work a unique solvability of a class of mixed type partial differential equations with some unbounded coefficients is proved in R2. The estimates of the weighted norms of the solution u and its partial derivatives ux and uy are derived. © 2012 Elsevier Ltd. All rights reserved.

SOLVABILITY OF FREE PRODUCTS, CAYLEY GRAPHS AND COMPLEXES

In this paper, we verify the solvability of free product of finite cyclic groups with topological methods. We use Cayley graphs and Everitt methods to construct suitable 2-complexes corresponding to the presentations of groups and their commutator subgroups. In particular, using these methods, we prove that the commutator subgroup of $mathbb{Z}_{m}*mathbb{Z}_{n}$ is free of rank $(m-1)(n-1)$ fo...

Group Solvability

Linearity, Non-determinism and Solvability

We study the notion of solvability in the resource calculus, an extension of the λ-calculus modelling resource consumption. Since this calculus is non-deterministic, two different notions of solvability arise, one optimistic (angelical, may) and one pessimistic (demoniac, must). We give a syntactical, operational and logical characterization for the may-solvability and only a partial characteri...